fpf{-}single($x$; $v$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<$cons($x$; []), $\lambda$$x$.$v$$>$